The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
اقرأ المزيدThis volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيدThe purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they ...
اقرأ المزيدExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
اقرأ المزيدExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
اقرأ المزيدThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
اقرأ المزيدThe purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering ...
اقرأ المزيدThe definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java ...
اقرأ المزيدIncludes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
اقرأ المزيدThis book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...
اقرأ المزيدThis book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...
اقرأ المزيدApache Spark's speed, ease of use, sophisticated analytics, and multilanguage support makes practical knowledge of this ...
اقرأ المزيدThis book teaches data-parallel programming using C++ and the SYCL standard from the Khronos Group and walks through everything ...
اقرأ المزيدIntended to flow from the basic concepts of C++ to technicalities of the programming language, its approach and debugging. ...
اقرأ المزيدThis volume contains works at the intersection of database and programming language research.It also cover algorithms, XML ...
اقرأ المزيدConstitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. ...
اقرأ المزيدThe papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...
اقرأ المزيد